$\forall$${\it the\_es}$:ES, $e$, ${\it e'}$:E. $\neg$first(${\it e'}$) $\Rightarrow$ ($e$ $\leq$ pred(${\it e'}$)  $\Leftrightarrow$ ($e$ $<$loc ${\it e'}$))